Sovereign Default and Portfolio Investors' Remedies