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