Approximately how many French troops were kept in Iberia during the Peninsular War?