Trump addresses the high school shooting in Texas