Great white shark choked by sea lion