Would Trump or Biden be better for Everglades restoration?