Names of fallen officer, injured deputies released