So they picked up Jonah and threw him into the sea, and the sea ceased from its raging.