Soldado que detonou Tesla em Las Vegas tinha estresse pós-traumático