“who was eaten by a whale,”
He wasn’t eaten.
Well he was in the whale’s gullet for about 30 seconds in pitch darkness, unable to get out. Maybe he was just a Humpback’s gargle.