US-European ocean monitoring satellite launches into orbit

It's designed to extend a decades-long measurement of global sea surface heights