Vertical motions of the Puerto Rico Trench and Puerto Rico and their cause