While on the job, they probably have their Red (Government business) passports. As a backup they're probably also carrying their Blue (normal) passports.
There are also Black (diplomatic) passports. And it is also quite possible, if you have a good enough reason, to be issued two blue passports.
--Carlos V.