Is it permissible to name a mosque "Al-Buraq Mosque"? Thank you.

It is permissible to say "Masjid al-Buraq" (Buraq Mosque) by way of attribution for distinction or identification. It is mentioned in Sahih al-Bukhari under the chapter "Is it permissible to say the mosque of so-and-so's tribe?" Al-Qastalani mentioned that the majority of scholars permit attributing a mosque to its builder or to one who regularly prays in it for the purpose of distinction and identification, not for ownership, unlike Ibrahim al-Nakha'i. They support this by the Almighty's saying: "And that the mosques are for Allah."