Convective mixing by internal waves in the Puerto Rico Trench