A vidicon vacuum tube used to record video