关于服务器 DEVGRU, Red Squadron 的讨论