以正方形ABCD的AB边为直径作半圆O，过点C作直线切半圆于点F，交AB边于点E，若△CDE的周长为12，则直角梯形ABCE周长为（　　）

​

A：12

B：13

C：14

D：15