A great white shark that washed up on an Australian beach may have choked on a sea lion, fisheries officials said.