In the Gulf of Aden, the US warship USS Mason responds to a distress call from a commercial tanker with…