Extensive coral mortality and critical habitat loss following dredging and their association with remotely-sensed sediment plumes. (August 2019)