Not badly named, I just don’t see anything wrong renaming it to the Gulf of America. It’s like renaming the South China Sea to South East Asia Sea.