Title: A portfolio theory of defaultable bonds and its empirical validation