PRIDE INTERNATIONAL, INC.