Michael Lee, 대한민국 공군(republic of korea air force)