Constrained Efficient Borrowing with Sovereign Default Risk, WP/20/227, November 2020