Text this: ¿Estrellas rojas? El desarrollo astronómico en el Chile de la Guerra Fría