Desingularisation of the fiber product of the minimal regular models of Tate