Lemmy Shitpost @lemmy.world Mickey7 @lemmy.world 1y ago If we are going to rename the Gulf wouldn't this be more appropriate