Lost man's washed-up phone helps save him from alligator-infested waters