Mexico: Gunmen Kill a Navy Officer