Last year a small country collected total tax revenues of $1.3 billion and spent $1.5 billion. It currently owes investors owning its bonds and other debt obligations $5.0 billion. We would say the country's deficit was