Senecký rybník, Plzeň