Title: Banks, Government Bonds, and Default