A Divergence-Free Immersed Boundary Method and Its Finite Element Applications. (6th August 2020)