Climate scientists warnings that global heating would damage coral terribly were right on target.