The Free On-line Dictionary of Computing (19 January 2023):

John Mauchly
Mauchly, John W.

    /jon W mok'*-lee/ (rhymes with "broccoli") Dr. John
   W. Mauchly, one of the developers of ENIAC.

   (2002-10-06)