How many troops did Marshal Murat lead into Spain?