City council OKs downtown pocket park