Exodus 17:13 and Joshua weakeneth Amalek and his people by the mouth of the sword. (Young's Literal Translation)