OpenAI exec becomes top Trump donor with $25M gift