IPN triangulation map of GRB 230712C