Four dead in Navy Yard shooting