Jeremy King (1933-2020): The Pump Houses (2018)