Followup question: When was the story of Mohammed's journey to heaven first recorded, and when was the mosque specifically named in it?