Assessing damage to the Keys after Irma