Korean General who saved 200 U.S. soldiers honored with naming of U.S. military base