He said someone was using a program to send text messages from fake phone numbers to SEALs and others in the Virginia Beach-based command, which is also known as DEVGRU, or more popularly as SEAL Team 6.