We lost a tree to today's storm

Fell St east of Shrader


A good-sized tree came down in the Panhandle, apparently a result of today's fast-moving rainstorm. Does anybody know what kind of tree this is? 
Update: I've referred to a copy of Trees of the Panhandle, and believe I've identified this as a prunus lusitanica, a.k.a. Portugal laurel.