Those spare Iridium satellites finally did take off on Monday after three delays. And I found the answer to my question: what happened to the other two spares? They will be launched in June of this year.