Coral reefs reduce tsunami impact in model simulations