Are they going to call it the Gulf of Mexico again? Or are they still pretending like it’s all not a distraction from Epstein?