John Tyler High School principal announces departure