Redirecting to Dave Williams (20th century pitcher)