there is no reason for “sean” to be pronounced “shawn”