1955 International B112 Vacuum Pump