President Donald Trump has become a grandfather for the ninth time.