Bolevecký rybník, Plzeň