El tirador identificado como Salvador Ramos fue abatido por la policía, según las autoridades de Texas