Discovery Capital Management vende US$ 4,78 milhões em ações da Ramaco Resources