juan eduardo died in the battle of verneuil