So exactly who is president of the US