Red flag still up for the whale sharks in the area. One assumes they’re being protected from us, and not the other way around.