The official end of William Penn High School