Whale songs can be used to map the ocean floor.