Comment on If we are going to rename the Gulf wouldn't this be more appropriate