I am an U.S. citizen and bought a house in Korea.  Do I need to report to the U.S. government?  If so, which branch of the government?   Thanks in advance.