How many boards would the mongols horde, if the mongol hordes got bored?