You just read:

Marketo Names Steve Lucas as Chief Executive Officer

News provided by

Marketo, Inc.

Oct 27, 2016, 14:00 ET