Yay! Happy whale day! Big thanks are due to those divers, not just from the whale, but from all of we humans!