No, and we know this because he shot and injured another 422 people who he surely would have preferred to kill.
No, y sabemos esto porque disparó e hirió a otras 422 personas a quienes seguramente hubiera preferido asesinar.