20160813 world.us: Seven injured in flash fire at Texas crude oil terminal