The crash in shark numbers, caused largely by over-fishing, could have dire consequences for corals.