“I’m thinking about calling the strait, the Hormuz strait, the Trump strait. We have a gulf. Now I need an ocean and a river. The American Ocean... I’m pleased to announce that on Monday morning, we’ll be changing the name of the Atlantic Ocean to the American Ocean.”