Statistics for The Role of Internal Tides in Supplying Nutrients to Coral Reefs