City of San Jose Wants to Clear Out Columbus Park to Make Room for Dog Park