Obama: We are happy with Donald Trump