so the money originally intended as a sacrifice to Hercules was used for the construction of warships.