Optimal Strategy in Longest-Chain Proof-of-Stake Mining With External Randomness