Large-amplitude internal waves at the Mascarene Ridge in the Indian Ocean