Title: Triple-expansion Worthington pumping engines