Corals, mangroves, and seagrass provide coastal protection for homes worth $700 million in the Florida Keys.