Was Miami & Erie Canal Aqueduct over a Tributary to Mill Creek in Cincinnati, OH

If you are here because of "Miami & Erie Canal in Cincinnati, OH," then you need to go there.

This area of the M&E Canal seems familiar, but I can't find any existing notes about it.

Update: I found the notes in the other blog.