They are called castellated nuts