Assailant in Pentagon Police Killing Was Booted Out of Marin