Его должность занял бывший глава Amazon Web Services Энди Джесси.