Llevaba entonces el nombre de Casa del Real Desagüe.