Effects of water depth and artificial mixing on dynamics of Philippines brackishwater shrimp ponds