美國總統特朗普：霍爾木茲海峽由美國海軍控制。