20170620 home.environment.global-warming: Global coral bleaching may be ending; US agency says