Approximately what percentage of the U.S. public debt is held by foreign individuals and institutions?