What size converter charger should I get?

Our vintage travel trailer doesn't currently have one, but it came with a marine battery that's rated at 85 Amp/hours. The smallest converter chargers I'm seeing are 35 amp. Is this small enough?