Elephant rescued at sea, nearly 10 miles from shore

Mariners are used to seeing whales, dolphins and sharks far from shore, but an elephant?