Trump ordena que atirador que matou 13 pessoas no Texas seja executado por fuzilamento