Post-traumatic injury of the brachiocephalic artery: on-pump beating heart repair.