LET'S PLAY SOME GULF: It was formerly called the Gulf of Siam