Dugongs, turtles and fish of the Gulf threatened by war