Mitigation of coral bleaching by antioxidants