오퍼레이터 네임(코드네임)은 '텍사스'입니다:>