美国：一名海军水手在红海失踪。