OpenAI president becomes top Trump donor with $25M gift