Die Behörden identifizierten den Schützen als den 18-jährigen Salvador Ramos.