Opprinnelig var planlagt under navnet , og senere . Av hensyn til sikkerheten ble begge navnene droppet til fordel for det uavhengige navnet Argus.