Obama thanks troops for Bin Laden operation