Tech 'I'm glad it's over.' Google CEO thanks Trump for antitrust 'resolution'