While a shame, this sort of damage is not totally unnatural.  Hurricanes have been decimating reefs for millions of years.  A drifting tree trunk, at low tide in moderate surf, can do this much damage in a few minutes.  The real manmade reef killers are chemical, not physical.