US guided-missile destroyer, USS Mason (DDG 87) in the Gulf of Oman. Photo: US Navy/file photo.

US guided-missile destroyer, USS Mason (DDG 87) in the Gulf of Oman. Photo: US Navy/file photo.