Irish gyroscope to navigate asteroid-deflection mission