Peter's Rock in Mohammed's Flood, from St. Gregory the Great to St. Leo III