The moats separating people from the animals are 5 m wide for lions and 4 m wide for the elephants. If the lion’s moat is 4 m deep, how deep should the elephants’ moat be?