Shippensburg — borough of Pennsylvania