18 is probably correct number. Its the shortest even-numbered term that doesn’t allow a normal 2-term president to replace half the court. If you want to count the extreme case of a 10-year president due to a VeeP taking over then getting elected twice, it should be 20 years with terms starting on like January 10.