Mlýn v Jelením příkopu Vodní mlýn v Praze