Has RFK Jr. gone for a dip in the algae yet?