Don’t look now, but the Gulf of Mexico jackup market is doing pretty well