Coleman Lanterrn is made/supported by Dutchmen/Keystone. Here is the manual download page. https://www.dutchmen.com/rv-manuals-online
Expand the section "Electrical Power Supply".
There will be a list of converter/chargers.
Choose the one that matches your built in converter/charger.
Most late model converter/chargers accommodate lithium. The WFCO that is frequently used in low end Dutchmen products does have a switch.