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