El CEO de Google habría disuadido a Trump de renombrar el océano Atlántico