As I understand it, burial at sea is permitted if burial underground isn't possible; it appears to be more important that the body be buried within 24 hours.

I imagine "dumped into the sea" was the wording from the sorts of people who would have preferred to see his body tied to a chariot and dragged around the city walls.