Manifestis Probatum — papal bull recognizing the Kingdom of Portugal