Generally, I would prefer that the last selected printer be chosen, not the "default printer" (which might be set by the operating system administrator).
The default printer could have a different appearance in the selection menu (different icon, different color).