Soldado que explodiu carro em Las Vegas sofria de estresse pós-traumático