Everglades restoration and sea level rise