Can vertical mixing from turbulent kinetic energy mitigate coral bleaching? An application of high frequency ocean radar | IEEE Conference Publication | IEEE Xplore