History of the Trenton Public School District