The Rough Wall High Reynolds Number Turbulent Boundary Layer Surface Pressure Spectrum