Heraldo de Madrid - What happens if US fails to lift debt limit by June 1?