The Southeast Asian tin belt