What happens when a Shark eats a Manatee?

Hopefully that will not happen because generally, Manatees live in lakes or rivers, while sharks live in the oceans or the sea.

Additional Info: Sharks don't usually prey on adult Manatee, but the calves are preyed on by sharks crocodiles and alligators. Once the Manatee is fully grown this becomes rare, due to their sheer size, but the young calves are at risk, and will die if they are attacked by a shark.