What are other names for a military tank