Korean prostitution for the U.S. military