144 cops killed in the line of duty in 2018. How many were killed by undocumented migrants?