Record coral kill-off on Great Barrier Reef. (Manila Bulletin)