Port Jervis City School District Superintendent John J. Bell confirmed the decision, stating that the district will not select a new team name at this time. The "Raiders" name and mascot logo will ...