Shell leases Grupo R rig for Gulf of Mexico operations