en_tn_condensed/2ch/04/17.md

The king had cast them

The readers should understand that Solomon probably commanded other people to do the actual work. Alternate translation: "The king commanded his workers to cast them" (See: rc://en/ta/man/jit/figs-metonymy)

Zarethan

This is the name of a city. (See: rc://en/ta/man/jit/translate-names)