20220205 world.us: Gunman kills 2 Virginia college officers; arrested