If you have every certainty that they will (and should) file jointly, the extension you file electronically for the USC spouse will extend the joint return (but not for the foreign national spouse if they end up filing separately for the year).  Otherwise, paper file the extension as Bob suggested.