San Diego Police Release Name of Officer Involved in Hillcrest Shooting