It was discussed (“joked about”) by officials shortly after proclaiming the gulf had a new name, so I’m not filing this under satire even if it’s a doctored image.