Movies featuring "mining-colony" theme.