This is exactly right. I'm not sure who should get to decide what the name of the gulf should be, but it shouldn't be Google.