Vaughn: Wainwright did nothing wrong in 'piping' pitch to Jeter