¿Cuánto costaría construir la ‘Estrella de la Muerte’ de Star Wars?