Those are high power linear regulators. They won't be any more efficient than a series resistor.
I don't think it would be easy to find a cheap DC to DC converter that puts out the 18 - 19 volts that would be ideal. I really think the series resistor is probably the most practical way for you to use that supply.
Resistor Link
These are available from
Digi-Key. Digi-Key part # TMC50-.50-ND is a 0.5 Ohm 50 Watt resistor. They cost $5.21 each.