How many of these 15 top US executive branch officials will be out before 2027?