The Port Jervis School District will no longer be called the Raiders starting this summer, following a mandate from the State Education Department last January.

The Port Jervis school district referred News 12’s inquiries to their attorney who declined to comment. Grosse was ordered to pay Leudemann $3.75 million.

The Port Jervis School District is joining in on growing pushback surrounding a state directive requiring it, and other districts, to change the name tied to their sports teams.