(At Least) Four Theories for Sovereign Default