(actual warning sign about swimming in the ocean during box jellyfish season - November thru may).