Quem manda no Golfo do México — e como Trump pode mudar o nome?