20170421 world.europe: 2 cops; attacker killed in Paris gun battle