1972 International DM10 Vacuum Pump