Business Tax Policy under Default Risk