Non-uniqueness of Leray weak solutions of the forced MHD equations | Synapse