Conversion and recovery of Puerto Rican mangroves: 200 years of change