I am looking for the syntax to add a column to a MySQL database with a default value of 0
Reference
table users (user_id int unsigned PK, username varchar(32))
alter table users add column verified tinyint unsigned default 0