THEME PARK THRILLERS: With "Mantis" making an even dozen, Cedar Point in this state has the most roller coasters of any park