How many damaged corals in Red Sea reef systems? A quantitative survey