I heard on the radio that it was the American national anthem that was played, as far as I know this is the first time a foreign national anthem has been played at Buckinham Palace, also the Union Jack is flying at half mast.