Ocean, seas, and coasts: Area of coral reef ecosystems and percentage live cover