Please only the formula and step I need for this problem. thank you

Question

In response to media inquiries and concerns expressed by groups opposed to violence, the president of a university with over 25,000 students has agreed to survey a simply random sample of her students to find out whether the student body thinks the school’s “Plundering Pirate” mascot should be changed to one that is less aggressive in name and appearance. Of the 200 students selected for participation in the survey, only 20% believe the school should select a new and more kindly mascot. Construct a 90% confidence interval for the population proportion of students who believe the mascot should be changed. Based on the sample findings and associated confidence interval, comment on the credibility of a local journalist’s comment that “over 50% of the students would like a new mascot.