A 'Double Mersenne prime' is a Mersenne number $M_{M_p} = 2^{2^p-1} - 1$ where $M_p$ is itself a Mersenne prime. Which of the following is a double Mersenne prime?