Internal tides at the coast: energy flux of baroclinic tides propagating into the deep ocean in the presence of supercritical shelf topography