Just which gulf did Donald Trump open? The Gulf of Tonkin? Gulf of Mexico? Whatever it was, it has 18 holes, which is rather odd for a body of water. But I read it here on Yahoo! Finance‘s “The Daily Ticker”:
So it must be true.