Ron Washington in the mix for Padres manager job?