Biden greets U.S. troops serving on Christmas Day