did the government throw osama in the ocean