Debt limit fight in Washington: will the U.S. default on June 1?