Heraldo de Madrid - US risks debt default as soon as July: budget office