A guy who was throwing rocks near the Mammoth Lakes library was shot dead by a Mammoth Lakes police officer. Not much more detail than that. The DOJ is investigating the incident.