Opening of the Okinawa basin and collision in Taiwan: a retreating trench model with lateral anchoring