Hey Calgary,
yes, but a USB port is configured by the driver and supplies various currents only after request. You can’t simply get 500 mA out of it without the handshaking. Except if it’s not a USB port but a power supply.
A step-down converter is the correct way to get 5 V out of 12 V. They are avalaible as modules everywhere.