Ao realizar uma pesquisa na internet utilizando um navegador, o usuário deseja encontrar informações específicas sobre a história da cidade de Ouro Preto, mas quer excluir resultados que mencionem a palavra "mineração". Para otimizar sua busca e garantir que apenas os resultados relevantes sejam exibidos, qual das seguintes opções de digitação na barra de pesquisa do Google seria a mais adequada para atingir esse objetivo?