France: Soldiers deployed to guard Notre Dame Cathedral for Christmas Mass in Paris