The results of a survey show that 102 students, or 85% of the students, in a survey choose a water park as their favorite summer activity. How many students were in the survey?