Ten thousand soldiers on board 10 US warships, including a nuclear submarine, several destroyers and ...