The failure of GCH at a degree of supercompactness - Brent Cody (2011)