I only know that story from a few centuries further back, I'm afraid. True story, though - the fellow was called Jonah! :-)