Was the city of North Miami Beach right to end the police department’s practice of using police mug shots of real people for sniper-shooting training?