Quantos anos tinha Rafael Miguel quando morreu?