Are the Campbell perk ponds In San Jose CA stocked with trout right now?

I was wondring if the campbell perk ponds are stocked with trout right now. Because i know they have a derby in may but im just wondering if they are stocked as we speak so I can go fishing soon. Thankyou