Modeling an Incomplete Market with Default