A man who dies at sea: what is done with him

Al-Hasan said: If a man dies at sea (on a ship and the like), he is to be placed in a basket (box) and cast into the sea.

Ata said about the one who dies at sea: He is to be washed, shrouded, perfumed, and the funeral prayer offered over him; then something (heavy) is to be tied to his legs and he is to be cast into the sea.