「お疲れ様」と言いました、アメリカの情報機関と海軍はよくやった。