Tyler ISD names new John Tyler principal