King Under the Mountain:
Action: Exhaust King Under the Mountain to look at the top 2 cards of your deck. Add 1 to your hand and discard the other.
Ered Luin Miner:
Response: After Ered Luin Miner is discarded from the top of your deck, put it into play under your control.
Does this work if you discard the Miner and draw the other card? I'm pretty sure the answer is yes but someone else is questioning that.