Would that be Tonkin or Mexico?

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”:

and here:

So it must be true.